Model Theory of Frobenius on Witt Vectors
نویسندگان
چکیده
We give axiomatizations and quantifier eliminations for first-order theories of finitely ramified valued fields with an automorphism having a close interaction with the valuation. We achieve an analogue of the classical Ostrowski theory of pseudoconvergence. In the outstanding case of Witt vectors with their Frobenius map, we use the ∂-ring formalism from Joyal.
منابع مشابه
. Model Theory of the Frobenius on the Witt Vectors
We give axiomatizations and prove quantifier elimination theorems for first-order theories of unramified valued fields with an automorphism having a close interaction with the valuation. We achieve an analogue of the classical Ostrowski theory of pseudoconvergence. In the outstanding case of Witt vectors with their Frobenius map, we use the ∂-ring formalism from Joyal.
متن کاملOn the Witt Vector Frobenius
We study the kernel and cokernel of the Frobenius map on the p-typical Witt vectors of a commutative ring, not necessarily of characteristic p. We give many equivalent conditions to surjectivity of the Frobenus map on both finite and infinite length Witt vectors. In particular, surjectivity on finite Witt vectors turns out to be stable under certain integral extensions; this provides a clean fo...
متن کاملThe Theory of Witt Vectors
1. Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2. Definition of the Witt Rings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3. Proof of the Existence of the Witt Rings . . . . . . . . ....
متن کاملL’automorphisme de Frobenius des vecteurs de Witt
We give an axiomatization of the first-order theory of the field of Witt vectors over the algebraic closure of a finite field, with the lifting of the Frobenius map. 2000 Académie des sciences/Éditions scientifiques et médicales Elsevier SAS
متن کاملThe basic geometry of Witt vectors, IThe affine case
We give a concrete description of the category of étale algebras over the ring of Witt vectors of a given finite length with entries in an arbitrary ring. We do this not only for the classical p-typical and big Witt vector functors but also for certain analogues over arbitrary local and global fields. The basic theory of these generalized Witt vectors is developed from the point of view of comm...
متن کامل